theorem proving

the paralell numerical method of mech-anical theorem proving

定理机器证明的数值并行法

commercial use of automated theorem proving is mostly concentrated in integrated circuit design and verification.

商业使用的自动定理证明主要集中在集成电路设计和验证。

The Research on the Extension Rule Based Theorem Proving

基于扩展规则的定理证明的研究

development and verification of high confidence embedded software by combining model checking and theorem proving

模型检测与定理证明相结合开发并验证高可信嵌入式软件

Comps connection method system for theorem proving

COMPS连接法定理证明系统

the complexity of theorem proving procedures

定理证明过程的复杂度

single logical theorem proving in totally abstract fact space

全抽象事实空间中的单逻辑定理证明

theorem proving for robot problem solving

机器人问题求解的定理证明

A Novel Theorem Proving Algorithm Based on Extension Rule

一种新的基于扩展规则的定理证明算法

first-order theorem proving is one of the most mature subfields of automated theorem proving.

一阶定理证明是最成熟的分支的自动定理证明。

Sailors wear oilskins in stormy weather.

水手遇到暴风雨天气都穿著防水服.

Computing simplest subsidiary conditions in differential geometry theorem proving

微分几何定理证明中最简单辅助条件的计算

A Preliminary Study of Machine Theorem Proving Based on Graph Theories

定理机器证明的图论法初探

confronted by angry workers in overalls or oilskins, he may think that he can save a factory or abolish fish quotas.

面对那些身穿工装裤或油布雨衣的愤怒工人，他可能一度考虑过拯救他们的工厂，或完全取消捕鱼配额。

new development of theory and algorithms of mechanization of geometric theorem proving (gao xiaoshan as a main participant, 1997)

几何定理机器证明理论与算法的新进展（主要参加者高小山，1997）

Property verification is carried out using theorem proving systems.

特性验证使用定理求证系统来实现.

there is however a much larger disconnect between the world of theorem proving and dynamic languages.

然而在理论层面和动态语言实际应用之间还是存在一些差距的。

there are hybrid theorem proving systems which use model checking as an inference rule.

有混合定理证明系统，使用模型检查的推理规则。

Differential Intermediate Value Theorem Proving Problem in the Auxiliary Function Constructor

微分中值定理证明题中辅助函数的构造方法

A new method for theorem proving of PTL

命题时态逻辑定理证明新方法

the research in mechanical theorem proving has great significance in the theory and the practice.

定理机器证明的研究，在理论和实践上都具有重要的意义。

theorem proving in higher order logics

高阶逻辑中的定理验证

Research and development of automated theorem proving system for set theory

集合论等式型定理机器证明系统的研究与开发

Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.

由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。

Research on Parallel Algorithm of Numerical Verification for Geometry Theorem Proving

几何定理并行验证算法研究

Using natural deduction rules, Isabelle provides a generic framework for developing theorem proving systems.

Isabelle使用自然演绎规则进行推理，为定理证明系统的开发提供了一个通用的框架。

realization of theorem proving automation

定理证明自动化的实现

automated geometry theorem proving and geometry education

几何定理自动证明和几何教育

The Application of Citing Instances Method in the Mechanical Theorem Proving

例证法在定理机器证明中的应用

a member of the herbrand base is called atom in automatic theorem proving .

在自动定理证明中，海尔勃朗基的成员也称为原子。